On the Topology of Plans
نویسنده
چکیده
This paper explores a topological perspective of planning. A series of examples and theorems establishes a fundamental coupling between tasks on graphs and simplicial complexes. Planning under uncertainty is one application. The paper introduces strategy and loopback complexes. The paper’s main theorem shows that tasks specified by goals in nondeterministic graphs have guaranteed solutions if and only if their loopback complexes are homotopic to spheres.
منابع مشابه
A kind of fuzzy upper topology on L-preordered sets
Considering a commutative unital quantale L as the truth value table and using the tool of L-generalized convergence structures of stratified L-filters, this paper introduces a kind of fuzzy upper topology, called fuzzy S-upper topology, on L-preordered sets. It is shown that every fuzzy join-preserving L-subset is open in this topology. When L is a complete Heyting algebra, for every completel...
متن کاملSTABILIZER TOPOLOGY OF HOOPS
In this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them. And we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. Also, we prove that right and product stabilizers are filters and if they are ...
متن کاملارزیابی کاربرد شبکه عصبی مصنوعی و بهینهسازی آن با روش الگوریتم ژنتیک در تخمین دادههای بارش ماهانه (مطالعه موردی: منطقه کردستان)
Estimating spatial distribution of precipitation is vital to execute water resources plans, drought, land-use plans environment, watershed management, and agricultural master plans. High variation in amount of precipitation in various parts, lack of measurement stations, and the complexity of relationship between precipitation and parameters affecting it have doubled the importance of developin...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملInverse topology in BL-algebras
In this paper, we introduce Inverse topology in a BL-algebra A and prove the set of all minimal prime filters of A, namely Min(A) with the Inverse topology is a compact space, Hausdorff, T0 and T1-Space. Then, we show that Zariski topology on Min(A) is finer than the Inverse topology on Min(A). Then, we investigate what conditions may result in the equivalence of these two topologies. Finally,...
متن کامل